Section: Partnerships and Cooperations

Actions nationales/National Initiatives

ANR

• Participation de Cormac Walsh au projet ANR FINSLER (Géométrie de Finsler et applications).

• Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires : ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.

• Projet ANR MALTHY (Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides), responsable T. Dang. Partenaires : Verimag, CEA LIST, Inria Rennes, Inria Saclay, VISEO/Object Direct.

• Projet ANR DEMOCRITE ("DEmonstrateur d’un MOteur de Couverture des Risques sur un TErritoire), responsable Emmanuel Lapébie (CEA). Partenaires : CEA-GRAMAT, BSPP, Inria Saclay (Maxplus), Institut PPRIME - UPR3346 (CNRS, Univ. Poitiers, ISAE-ENSMA), IPSIS, SYSTEL, ARMINES-E.M. Alès-ISR, CERDACC (Univ. de Haute-Alsace).

Programme Gaspard Monge pour l'Optimisation

• Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, V. Boeuf, S. Gaubert, A.Hochart, R. Katz, et M. Skomra.

• Participation de Marianne Akian et Stéphane Gaubert au projet “STORY: Stochastic and Robust Optimization Network and Teaching”, responsables: Laurent El Ghaoui (UC Berkeley) et Michel De Lara(CERMICS).

iCODE (Institut pour le Contrôle et la Décision de l’Idex Paris-Saclay)

Projet “blanc” intitulé “Stabilité et stabilisation des systèmes commutés” (Oct. 2014-fin 2015), faisant intervenir M. Akian, X. Allamigeon, S. Gaubert, et des membres de EPI Geco, L2S, LIX, LSV (ENS Cachan), UVSQ.